#1 is a false equivalence. There really is no more secure here. The system is either secure or insecure. If it is insecure, then the only questions are how bad is it and how it could be made less insecure? If something is secure (e.g. seL4), then there is no room for improvement.
#2 is nonsense because the system is already insecure.
#3 is a straw man because we are talking about the NSA not contributing the results of their security research to the world. The other things that they do that actually making things less secure are not the subject here.
#1 "the system is either secure or insecure" - only according to the particular system's threat model. Your counter-argument falls flat because it assumes all computers share one universal threat-model. "more secure" refers to probabilities built into a particular threat-model. If you're going to make security a binary thing, then without absolute knowledge of the entire system...it is insecure and we're wasting our digital ink.
#2 depends on #1
#3 if the subject is "things the NSA does do to make us less secure" then it is the subject.
Security like temperature. It has an absolute limit. We are really only talking about how insecure a system is. That becomes obvious when reading about things like seL4.
While I agree with you in principal and am sympathetic to your position, it is not the case that security is "absolute" without taking threat model into account. As a specific example, SeL4 does not take timing channel vulnerabilities into account.
If you are doing formal verification, then you can make your own model, create software and attempt to prove that the software has issues within that model. seL4 is just one example of someone doing that.
Uh, I know. My point is that you won't always know all the security vectors you have to deal with. There's no way of just asserting that your model is free of side-channel attacks without (minimally) intimate knowledge of the hardware it's going to run on.
#2 is nonsense because the system is already insecure.
#3 is a straw man because we are talking about the NSA not contributing the results of their security research to the world. The other things that they do that actually making things less secure are not the subject here.