Your conclusion rests on the assumption that QM's description of reality represents the ontological truth. And such a 'truth' is not provable. However, as you already mentioned, it doesn't matter as QM provides the strongest epistemological claims, and this is what matters in the end.

I think otherwise. I am precisely saying that QM as a formalism denies ontological truth in the first instance. You have to do something like the BM guy above is embarking on.