Fix code contracts assembly option