Make CI to check and record time for proofs

There are some timing scripts in test.py. Also could use cprofile. Make something that'll work in github actions to record the time of tests and shows somehow the slowest proofs and modules.