Understanding Method Invocation Verification with Moq's Verifiable Constructs