lipoコマンドでBathyScapheをX86_64コードだけにするという手もあるよ。
M1 MacでもAdAlphaZeroも使えた。