The tropicalization count conjecture for bitangents of tropical quartics

Let $C$ be an algebraic curve over the field of Puiseux series, and let $\Gamma = \operatorname{Trop}(C)$. Let $[\Lambda]$ be an equivalence class of bitangents of $\Gamma$ of total multiplicity $m$. Bitangent tropicalization conjecture. Then there are $4m$ bitangents of $C$ tropicalizing to $[\Lambda]$. This conjecture proposes a uniform relation between algebraic bitangents and tropical bitangency classes; in the smooth case, the corresponding count of four algebraic bitangents is known, while the statement here concerns the non-smooth setting.