Refactoring: removed copypaste with zk.stop()/zk.close()
Simplified zoo.check_transaction() and moved to zoo.Transaction as check_and_commit()