opcodes: Use variables for verification parameters