Fix append instruction proof

MERGE REQUEST

Overview

There was a bug in proof code for the append instruction due to an off-by-one error which wasn't caught.

Example for Visual changes (ie Screenshot)

Issues Closed

Checklist

Review and complete the checklist to ensure that the MR is complete before assigned to an approver.

• All new methods, or updating methods have clear docstrings
• Testing added or updated for new methods
• Any new packages are added to Makefile and .gitlab-ci.yml
• API documentation updated for API updates
• Module README.md updated for changes to work flow
• Issue added to Sia-UI repo for new supporting features
• Changelog updated