Zach's games are great, I'd heartily recommend TIS-100, Shenzhen I/O, and Exapunks to anyone. Despite his ratings on the site, I actually found Infinifactory the most difficult of the bunch for me, but maybe that just means I'm not as good at spatially oriented puzzles.
I'm the same, I find TIS-100 and Shenzhen I/O reasonably comfortable in comparison to the other titles. I haven't completed either, I've almost completed TIS-100, but shenzhen I/O really pushes me way beyond my comfort zone but is more fun. I struggled to even get into spacechem or infinifactory at all. I found exapunks trickier to reason about but in a different way, I got stuck on a tree search puzzle where I find it tricky to match what I expect to happen with what actually executes because of I struggle to reason about the lifetime of the workers. (I've just realised I think I also struggle to program in Rust because of similar problems reasoning about lifetimes and borrowing).