rtl/cpu: remove unused signals.
rtl/exec: save the PSR on a data abort.

Needed for correctly returning from exceptions.
rtl: fixup verilator lint warnings with -Wall
verif: enable -Wall for verilator lint.