Safeguarding and Empowering General Purpose Robots through Abstraction and Constraint Certification