* Add nonreentrant to ExecutionManager.run() * Cheaper check using uninit'd tx context * Remove extraneous import
