AutoPerf: Lazy rule indices #3125

Make the rule app indices lazy, this speeds up all proof loading by at least 25% (the larger the proof the larger this number since the indices get slower). This is a refactoring needed to make enable further optimizations (skipping updates to the indices when not needed).

Blocking on #3124