Soft-error detection using control flow assertions