squash some compiler warnings in checker

It's perfectly valid for a ruleset-contained guard to ignore either the ruleset
parameters or the state value, so mark them both as potentially unused.