v0.7.0

Features

• New analysis pass (unconstrained-less-than) that detects uses of the
  Circomlib LessThan template where the input signals are not constrained
  to be less than the bit size passed to LessThan.
• New analysis pass (unconstrained-division) that detects signal assignments
  containing division, where the divisor is not constrained to be non-zero.
• New analysis pass (bn128-specific-circuits) that detects uses of Circomlib
  templates with hard-coded BN128-specific constants together with a custom curve like BLS12-381 or Goldilocks.
• New analysis pass (under-constrained-signal) that detects intermediate
  signals which do not occur in at least two separate constraints.
• Rule name is now included in Sarif output. (The rule name is now also
  displayed by the VSCode Sarif extension.)
• Improved parsing error messages.

Bug Fixes

• Fixed an issue during value propagation where values would be propagated to
  arrays by mistake.
• Fixed an issue in the nonstrict-binary-conversion analysis pass where
  some instantiations of Num2Bits and Bits2Num would not be detected.
• Fixed an issue where the maximum degree of switch expressions were evaluated
  incorrectly.
• Previous versions could take a very long time to complete value and degree
  propagation. These analyses are now time boxed and will exit if the analysis
  takes more than 10 seconds to complete.