Remove unused constructors in the external AssumptionViolatedException.

Remove unused constructors in the external AssumptionViolatedException.
Rename fields of internal AssumptionViolatedException so we don't break serialization with JUnit 4.11

I think this should be `Matcher<Integer>`, too. Even though the current `Theories` implementation will not take the type parameter into account.