Fix AlohomoraType impl for Arc<Mutex<T>>

[KinanBab]

• Use clone, avoid to_inner
• Document how DB conn should be constructed, stored in Contex, and used in Check to avoid deadlocks