v18.1.5

What's Changed

• fix: node parsing should not panic by @alexander-camuto in #912
• fix: syn-sel should be range-checked when overflow by @alexander-camuto in #913
• fix: strict cvx opt bounds to stop prover non-det by @alexander-camuto in #914
• fix: patch pypi whl version labels by @alexander-camuto in #916

Full Changelog: v18.1.1...v18.1.5