Remove unused constructors in external AssumptionViolatedException.
Merge pull request #993 from kcooney/AssumptionViolatedException-remove-unused-ctors

Remove unused constructors in the external AssumptionViolatedException.