CPAchecker, the Configurable Software-Verification Platform