Extend verifier contract to slash

[ethanfrey]

Once slashing is implemented in restaking, the existing verification contracts should slash for oracles that provide incorrect values.

[ethanfrey]

TODO: move to avs-toolkit repo once we support slashing