Move verification into BytecodeWriters.