removing ValidationOptions
add doVerify as an overrideable option when making an Emit
fixup bugs around doVerify, more tests, disable MaxStackSize when not verifying (it doesn't make sense)