Adding individual epoch auditing in kt auditor example

[kevinlewi]

This adds the ability for the whatsapp-kt-auditor example to audit a specific epoch, rather than loading all proofs first and then picking the epoch (which can be much slower)

[codecov-commenter]

Codecov Report

:white_check_mark: All modified and coverable lines are covered by tests. :white_check_mark: Project coverage is 89.03%. Comparing base (3ce5335) to head (43bf51e). :warning: Report is 26 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #460      +/-   ##
==========================================
+ Coverage   88.61%   89.03%   +0.42%     
==========================================
  Files          39       38       -1     
  Lines        9109     7600    -1509     
==========================================
- Hits         8072     6767    -1305     
+ Misses       1037      833     -204     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

:rocket: New features to boost your workflow:

• :snowflake: Test Analytics: Detect flaky tests, report on failures, and find test suite problems.