Tests for block from/to buffer roundtrip

Add more example contracts

Shard blocks commitment and proof generation.

Modify archiver to improve data retrieval usability