A JS library for design-by-contract programming