Formal verification seems more appropriate for finished software not undergoing development or feature changes. It's the last step before software is set permanently in stone, unchanging, forever.
I'm not acting - I'm genuinely saying, NVIDIA hates Free Software and this isn't a controversial stance. Always have. This is common knowledge and doesn't need sources, citations, etc.
They weakened it recently in Linux again. For over a decade there was a badly bugged PRNG in the Linux kernel, it was discovered and replaced with a more costly one which worked great. Then, only a short time ago, they replaced that with one of... shady provenance. You're better off writing your own PRNG on that platform IMHO.
There's nothing wrong with stealing and copying. After all, intellectual property is a mere legal fiction, it doesn't exist in the real world. You want to keep secrets? Don't share things with people, and especially don't try to sell your secrets.
Most modern CD players have cheap mechanisms. The oldest, heavy duty CD players can often read right through damage that would result in skips on a modern player.