Extra validation and comments on #73 #90

1. 
   sipa commented at 3:43 pm on November 3, 2014: contributor

   Obviously depends on #73.
2. Rewrite mul/sqr for 32bit/64bit

   - interleave calculation of the lower and upper partial product ranges, and reduction
   - less registers needed, more opportunities for parallel ops
   - "bench" performance: +3.5% for 64bit, +7.5% for 32bit (as tested on a 64-bit machine)

   5fcd6dd39c
3. Add range checks in secp256k1_fe_mul_inner a746cc55a6
4. Annotate inner_{mul,sqr} with relations between inputs and outputs. 0220d2cfb9
5. 
   sipa commented at 3:53 pm on November 3, 2014: contributor

   Where art thou, Travis?
6. sipa closed this on Nov 3, 2014

   ---

Contributors
sipa