AutoPerf: Lazy rule indices #3128

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).

• [x] Builtin rule app index: working
• [x] Taclet app index: working