To see the output when running the compiled executable, just open a command prompt/terminal window, navigate to the folder that contains the executable and run it there.
To pause execution in Verifier, set a breakpoint on any line of OAL.
I cannot say why you are getting “Nothing to verify”. Can you share the model?
Can you create the example MicrowaveOven and run it in Verifier?