VERTEX-COVER certificate facade

Imports the Boolean checker, exact semantics, and polynomial certificate bound. The concrete fixed polynomial-time verifier machine is a later layer.