Soft-error Detection Using Control Flow Assertions