FSLH: Flexible Mechanized Speculative Load Hardening