Actually, I think the user should have a choice for BOTH verifier and build...
I can easily see a use-case for being able to compare the results of two operations (like build). The
current behavior of build project makes that difficult. You basically have to cut/paste into a temp editor
window/file...
Since the verifier has a custom UI, the user cannot even cut/paste.