This looks great! Did you try Logisim when you were trying out other tools? How does this compare? We've used Logisim for a long time teaching 61C at Berkeley

This looks great! Did you try Logisim when you were trying out other tools? How does this compare? We've used Logisim for a long time teaching 61C at Berkeley (e.g. https://inst.eecs.berkeley.edu/~cs61c/su15/projs/05/ https://inst.eecs.berkeley.edu/~cs61c/su15/projs/05/ ) but development seems to have been discontinued.