Also added a test to catch future similar failure. Mainly, we didn't have tests that imported and used the HLFHE dialect from the python bindings