Interesting! I read up to p. 12 of the first paper, it has interesting implications for incentivization, e.g. with EIP-908. One question that naturally arises is how to get fast shard chain collations in the context of full PoS with Casper CBC. You need another randomness source.