Add solve fuzzer and fix the soundness bugs it surfaced#9105

alexreinking wants to merge 2 commits intomainhalide/Halide:mainfrom

alexreinking/solve-fuzzerhalide/Halide:alexreinking/solve-fuzzerCopy head branch name to clipboard