Changed Strict Mode behavior, minor changes to UML

Previously in the Strict mode exception occurred only on Verify or
VerifyAll methods, current commit changes behavior to Moq-like behavior:
mock fails when unexpected call occurs.
Minor refactorings (renaming)
Minor updates.