It seems that some call queues and behaviors are not taken into account resetting or verifying the expectation on VerifyingStubBackendBehavior.

From my understanding I think that all call queues and call behaviors must be reset when we reset the whole expectation and all call queues must be verified when we verify the whole expectation. On the other hand, we don't need to verify call behaviors.