Add additional assertion for reiniting.

Author: mvcisback

aiger/lazy.py

@@ -158,6 +158,7 @@ def __getitem__(self, others):
 
     def reinit(self, latch2init) -> LazyAIG:
         """Update late initial values based on mapping provided."""
+        assert set(latch2init.keys()) <= self.latches
         return UpdatedLatchInits(circ=self, latch2init=latch2init)