fixing a bunch of bugs where the stack would get reversed (for verification purposes) when a verifier was cloned, or a cache was reused
4.0.1