(Edit: hopefully this isn’t taking away from the thread - it looks like a cool project!)
Good points - my shortcoming (well, one of many) is not knowing what a ‘good’ op amp is. I know they exist in recording studios and stuff, but I also know cheap consumer ones can sound like crap.
Maybe in a pedal it doesn’t matter as much, and ‘cheap’ op amps might even have desirable sound!