Yep, any software engineer would be able to read the code and verify that it's a good implementation. Also, people run statistical analyses of key generators (and far more will after this, too).
The problem with Coldcard's implementation wasn't really obscure. Essentially the bug caused a botched check for RNG to fall back to the (bad, pseudo-randoml) RNG instead of use the dedicated STM32 chip.
So the only problem with the RNG is that they didn't really use one.
