Update GitHub Action, turn address sanitizer off.
Update GitHub Action, turn address sanitizer off.

Rename the "All Tests" job to "Coverage" and remove
`-DADDRESS_SANITIZER=ON` from the configuration step, since the
Sourcehut debian build is already doing this.

donmccaughey/FiendsAndFortune,donmccaughey/FiendsAndFortune,donmccaughey/FiendsAndFortune