fixed check for dev flag in check-assertions.js