>No, the freedom to have all the sex you want is new, for pretty much everyone in the US. Not everyone takes advantage of it, but there is little or no limit on your private sexual behavior now. Just consider gay marriage. And there was a huge risk with private sexual behavior back then.
The fact that prostitution is still illegal pretty much blows your whole argument there out of the water, skip. Nobdoy has the freedom to do that, do they (outside of extremely remote parts of Nevada)? And really, lets face it, that's pretty much the only way that a lot of people can ever hope to even have sex -- take cripples, mentally handicapped, or people just considered slightly undesirable by arbitrary and inescapable standards of pop culture. So this pretty much blows your whole disingenuous argument out of the water, doesn't it?
I think what flatestcat wants is something that actually functions and is proven to function correctly. Frama-C is yet another open source project that is long on hype but woefully short on delivery of actual, working code.