Replace Informal Fork for CometBFT

[TheMarstonConnell]

With the announcement of CometBFT, Informal is no longer pushing their fork of tendermint but rather focusing on CometBFT, a forked tendermint.