[Certora] `harness` directory name

The directory [harness](certora/harness) should be renamed to `helpers` as it doesn't just contain a harness but also miscellaneous utilities.