Added has.js and check-assertions.js which are necessary to disable the default assertions