Fix failure progress messages during staunch mode
Apply abbreviations to staunch failure messages
In staunch failure messages, if you don't know the rule name just stay silent, rather than saying unknown rule
Fix progress reporting to work even on the first run
Generalise showDP to any RealFloat
If the DP is 0 don't show the decimal point