add rule auditing feature

Feature shows a trace for a particular rewrite step showing why rules or rule did not apply.

@yilongli please review