Bumped to latest ef{core,lattice,tessera}