SEU-X: a SEu Un-eXcitability prover for SRAM-FPGAs