AutoPerf: Replace RuleAppCost with long #3105

Tests

• ❌ key.core.proof_references:test (87 succeeded, 2 failed)
• ❌ key.core.symbolic_execution:test (203 succeeded, 158 failed, 39 skipped)
• ✅ key.core.testgen:test (13 succeeded)
• ❌ key.core:test (2919 succeeded, 25 failed, 102 skipped)
• ❌ key.core:testProveRules (57 succeeded, 139 failed)
• ❌ key.core:testRunAllFunProofs (3 succeeded, 31 failed)
• ✅ key.core:testRunAllInfProofs (29 succeeded)
• ✅ key.removegenerics:test (45 succeeded)
• ✅ key.ui:test (5 succeeded)
• ✅ key.util:test (132 succeeded)
• ❌ keyext.exploration:test (0 succeeded, 3 failed)
• ❌ keyext.slicing:test (2 succeeded, 10 failed)
• ✅ recoder:test (14 succeeded, 15 skipped)