progress sense: start checking for tight loops earlier than we start checking for loops-around-pps.
cosmetic fix some messages
Convert foundabug to support janky, higher-order, extra-info-printing interface.
Use janky foundabug interface to print extra info in traces, e.g. UAF info. Close #50.