Verify transaction tests
Random test cases