What makes you think that dunkle inclusion/slashing conditions won't solve NaS?
Also Casper has the problem that all deterministic finality PoS and Byzatine agreement systems have, which is a 33% liveness threshold which if that many validators balk or stop processing, then the chain can't move forward without a hard fork.
I agree with this.
The only way to replace PoW is with an Inverse Commons consensus protocol, which is my new invention.
I'm looking forward to hear more about this and the incentive structure of your protocol.