Add circuit padding to padding-spec.txt and write a doc for researchers

There are a few things that can be done to the spec to improve them.

For the basics, we can improve the sectioning and also add some indentation to make it more clear how sections are structured (for example, to make it clear the distinctions between histograms and prob distrs).