Update isa_spec.md

Added halt and debug