New project wants to help DAOs dodge bad debt by replacing humans with algorithms