Crash-safety hardening, new history commands, and code-health overhaul#2

javanhut merged 3 commits into

mainjavanhut/Ivaldi:mainfrom

ivaldi_bug_fixjavanhut/Ivaldi:ivaldi_bug_fixCopy head branch name to clipboard