Fix for hybrid proposer

Incoming log weights were normalized, so we were proposing anywhere
*but* the best edges.
Now using the original unnormalized log-weights.
Document logSum
More documentation fixes
Clarify