implement device behaviours
fix codegen for operator?:
print error message when a module fails to verify