Fixing single file view crash

Adjusting document counter

Fixing undo/redo out of bound access error

Updated main demo

Fixing github workflow

Added more tests

Progress on tests

Updated opam lock file

Updated dev comments

Updated CHANGELOG