Include Nomadic Labs' patch of the dexter contract, include some property test to explore the exploit from the previous version