A few days ago Vitalik went through the history of Ethereum's proof of stake research at the annual Devcon, if anyone's interested: https://www.youtube.com/watch?v=Km9BaxRm1wA
At this point they're pretty happy with the protocol, the spec is mostly written, and eight teams are working on clients. The new design includes blockchain sharding for about 1000X better scaling.
Regarding your analogy, regardless of protocol you have a certain amount of "weak subjectivity," in that you at least have to know what client software to run. Otherwise you might be accepting invalid blocks.
The attacks you mention can be handled by requiring stake to be locked up for several months, and slightly broadening the subjectivity you accept to include a periodic known blockhash. You have to use off-chain social means to find out the correct recent hash, but you have to do the same to find out the correct software to run. https://blog.ethereum.org/2014/11/25/proof-stake-learned-lov...