Add unit test to verify replay of blocks with bad QC data

[arhag]

Adds tests to check that the changes of #693 are implemented correctly.

Bad QC data includes:

• Invalid QC claim (one that goes backward for example).
• Irrelevant QC (claims a block number other than the one claimed in the block header, or mismatching weak/strong claim)
• Bad QC (signature validation fails)

Note that the last one should fail to replay only if --force-all-checks is not provided. The other two should always fail to replay.