If it’s still the equivalent of gate level, even if those gates are expressed with words rather than placing each block, it’s still a slog. To get beyond gate-level, I think you’d need to write your own HDL and/or synthesis tool for minecraft redstone, which seems even deeper than what most people developing real digital logic do.
Like, I just write verilog and synopsys handles it well enough for my physical design team to have a good starting point.