Revert "verifier: Bypass monitor-{enter,exit} depth checks"

This reverts commit 2c28b3566ddd81b0e7adfbcfe870695ff0b40ff9.