Edit: and a follow-up question, is there a good Z-Machine interpreter for the macOS terminal?
Regardless of which you play, there are likely to be frustrating, unfair, perhaps unsolvable puzzles present. Modern players often have the Infocom invisiclues at hand while they do so.