Merge "Improve BalVerdict.toString" into main