Checking help

Help for asserting equality of values.

The old approach still works, excepting `contract.txs=[(specific),(specific)]` which has to be replaced with `contract.check(txsn=2, txs=[(nonspecific),(nonspecific)])` where it doesnt need to specify everything, only the ones given are checked.

Made this from the transaction fork, but that is still WIP so took it out.