Fixed up NOT logic

A few more asserts in Concretes
Fixed a couple of edge cases in test int generators
Memory interface being implemented, key port and field matching are starting to work
backing memory store not yet implemented
Memory interface taking sets and gets now
More memory work, setting up low level unit test
cleanup in order but memory read is working with delays
Testing different write and read delays for memory box