Entropy is hard to test. You'd have to have to run it on (slow) real hardware billions of times to find a 32 bit collision. In a simulator you don't expect to use the real TRNG. Checking library symbols is not a typical thing for an integration test, though it might have been good (in hindsight) to...