Add a cached storage type

[sug0]

Add a Cached<S> type that replaces Storage in the shell. This new type would just be a wrapper for S = Storage, that would cache some frequently read fields. This would significantly reduce disk I/O operations during e.g. validation of vote extensions, which we currently perform sequentially based on the order of protocol txs in a proposed block.