Rewards checker, see: https://github.com/morpho-org/universal-rewards-distributor/tree/main/certora