Verification -- EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided