Add BFT-based sharding support

[ahtotruu]

Implement the ability to process responses from the aggregator running as a sharded partition under the BFT core. This means:

• processing the shard tree certificate included in the unicity certificate in the responses from the aggregator;
• when verifying transaction inclusion proofs, checking that the state identifier agrees with the shard ID extracted from the shard tree certificate.