Text this: Invulnerability invariants for software controlled speculation