Factor out common logic for ticket tests

There is some duplicated test code that could be factored out. Also, switch to new syntax modules rather than custom definitions of let*. See for instance Ticket_balance_key.

Also consider special syntax for:

let* x = wrap @@ lwt_computation in
..

Address this thread.