The importance of full-stack openness and verifiability (including applications, operating systems, hardware, and bio)