[Certora] Delegation tweaks

[QGarchery]

This PR:

• fixes the Makefile to properly record new edits, as it was picking up some ../src patterns in the code before
• removes the munging that adds a require statement, adding it in the spec instead
• formatting of the rule to use the parameters of the function called