The web3 workflow protocol developer Halliday raised $20 million in Series A funding led by a16z crypto.