Exploring the proposer/collator split

[vbuterin]

Link to newer thoughts: A general framework of overhead and finality time in sharding, and a proposal