Fix: added missing ExpectsFailure Prose module
Fix: make sure DevMode really is verbose all the time
Fix: missing whitespace before Final Result in DevMode