My thinking for v2 is to use Honey Badger BFT, with multi party computation for bonding / unbonding
Overall I agree with Tendermint (and contra Casper or DFinity) that it's better to just drop availability and to have a less subjective security model. It sucks to get stuck if the validator set becomes compromised, but it's not the end of the world.