Properly verify a fragment

[lxfind]

This TODO: Fragments could be sent from byzantine nodes. We need to verify that:

1. Every transaction certificate is valid
2. the certs includes all missing certs on either side

[lxfind]

@gdanezis