Verification of Stack Manipulation in the Scalable Configurable Instrument Processor