We should plug Tendermint into Tezos as well.
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.
In any case, building on TMSP will make Texas future proof to any consensus engine that favors safety. Let's discuss.