This introduces infrastructure for checking the GHC runtime system using the Ward static analysis tool, as proposed in #15340.