IDL compiler not always short-circuiting boolean tests

[ThinkOpenly]

Describe the bug
#1135 discovered that this succeeded:

((!implemented?(ExtensionName::Svrsw60t59b)) && ((PTESIZE >= 64) && pte[60:59] != 0))

but this failed:

(!implemented?(ExtensionName::Svrsw60t59b) && (PTESIZE >= 64) && pte[60:59] != 0)

To Reproduce

1. Change the code in spec/std/isa/isa/globals.isa as above.
2. Run CI tests

Text output/Error Messages

In the code:

  1842:         (!implemented?(ExtensionName::Svrsw60t59b) && (PTESIZE >= 64) && pte[60:59] != 0)

A type error occurred
  Range too large for bits (msb = 60, range size = 32)

[dhower-qc]

Indeed a bug. It's only looking at the left-hand side being known to short-circuit, whereas it should short-circuit on either side being known.

[dhower-qc]

fixed in #891