Verifiable and Non-Verifiable Anonymous Mechanisms for Regulating a Polluting Monopolist