Narrow the scope of assertions constructor.

[rcardin]

EitherAssert and OptionAssert constructors have a public scope.
We should prevent anyone using them directly instead of the dedicated factory methods.