Test unexecuted OP_CODESEPARATOR

OP_CODESEPARATOR is an actual executed instruction, not a declarative thing, so if it's wrapped in an OP_IF it can be turned off. Looks like we weren't testing this before.

Using this to implement Rivest's Paywords is left as an exercise for the reader.