AI has made it easier to build the automation, such as fuzzing harnesses and mutation testing, used in the rbitcoin project