IsSurround checks if an attestation, a, is surrounding another one, b, based on the Ethereum slashing conditions specified by @protolambda https://github.com/protolambda/eth2-surround#definition.

SigningRootsDiffer verifies that an incoming vs.