Rust backend optimizations#67

igerber merged 3 commits intomainigerber/diff-diff:mainfrom

rust-backend-optimizationsigerber/diff-diff:rust-backend-optimizationsCopy head branch name to clipboard