Add test that will verify circuit equivalence for generated RTL vs RTL-freeze RTL

[rdaly525]

The goal of this is to use CoSA to formally prove that that any changes to lassen does not change the generated RTL for the PE tile.

#135 contains the gold coreir json file which we should be comparing against.