Simplify Blockchain and associated functions, deduplicate code, fix Get() and Seek() implementations.
This also changes Verify to VerifyTx and VerifyWitnesses, because there is a need to pass a block for some interop functions.