Deal with failures for T367, T367_letnoescape under ghci

These tests had a very short timeout (0.3 s). With WAY=ghci,
the time ghci takes to start up and compile the test modules
is counted in this timeout, and that causes the tests to fail.

T367 really needs the very short timeout, so this commit disables
the ghci way for T367. T367_letnoescape can handle any timeout,
so I bumped up the timeout to 6 s to give ghci time to start up.
Update compareAndSwap for new comparison primops
Mark T7881 as expected failure for WAY=hpc (#8384)
Update spec001 for new Typeable, and disable AMP warning

I'd like to just "import Prelude hiding (..., join)", but the
patch to make that turn off the warning hasn't been merged yet.
Update prog001 output (see #7633)
Update role annotation syntax in TcCoercible