Better test failure report
Add tests for ProhibitAbbreviationOption
Implement ProhibitAbbreviationOption