Fix parsing of BDD ranks.
Fix parsing of crash summaries.
Fix up enforce_crash for new IRExpr transformer API.
Unbreak summary_to_fix when there's a single crash summary.  This is
still massively broken when you have multiple summaries in one fix,
but that can wait for a bit.