Kabat numbering, MPLP, SVE speedup, etc.

Some changes from Pablo (Kabat numbering and the MPLP heuristic for
A*).  Also some more bug fixes and a SVE speedup for EPIC, etc.