Great writeup. Have you checked out mutt-kz[1]? It is a mutt fork with fairly seamless notmuch integration.

[1] https://github.com/karelzak/mutt-kz