"V praxi totiž nelze zkontrolovat, zda funguje správně a neobsahuje zranitelnosti"
Lze kontrolovat správnost, jen není možné použít integrovanou kontrolu integrity, ale nutné vygenerovat množství čísel a ověřit jejich velikost a náhodnost. (Různé statistické testy) Stejný postup jako je ověření správnostu ostatních (P)RNG, včetně hardwarových.
A mimochodem, ta úprava HW generátoru je čistě teoretická.
Jinak typicky se nepoužívá hardwarový generátor samostatně, ale ještě se prožene přes softtware jako seed, protože HW má obvykle určitou tendenci snižující náhodnost.