IBM Bob 2.0 hackathon team: DRIFT Verification Lab