v3.3.1

Fix

(#1431) Fix Double Elaboration Backportably (bp #1426)

Feature

(#1428) [3.3.x] Add binary compatibility checking to CI
(#1437) Update sbt-site to 1.4.0 (bp #1395)
(#1438) Update scalacheck-1-14 to 3.1.1.1 (bp #1413)
(#1440) Update sbt to 1.3.10 (bp #1415)
(#1442) Scala steward+1432 - Update scalatest to 3.1.2 (bp #1441)