A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems