Move verify before code to be out of a transaction. Updates #20.