This also changes Verify to VerifyTx and VerifyWitnesses, because there is a need to pass a block for some interop functions.
Roman Khimov