Text this: Verification of serialising instructions for security against transient execution attacks