[rust_verify] fix: skip codegen when --compile is not set (#2509)

[rust_verify] fix: skip codegen when --compile is not set (#2509) #43