Adaptable and Verifiable BDI Reasoning