Change `rule` to `claim` in integration test specifications

[ttuegel]

Change rule to claim in any *-spec.k files in /test/, but only when they are in a *-SPEC module, not a VERIFICATION module.