Well but user-friendly can not mean that average joe can be enabled to verify the legitimacy of a program/code/contract. He can be put in good faith but in no scenarios people will be able to actually verify it themself - at least no scenario that i can currently think of.