#611: Implement all update formulae and make them optionally usable

[ppebay]

Resolves #611

[ppebay]

@lifflander this is now fully working, and the optional choice to use the update formulae (or not) is determined by the use of the TemperedWithUpdates criterion, instead of the full-information Tempered one. Eventually, we may simply deprecate the latter and replace it with the former.

Currently, the debug verification is performed, by comparing the update vs. full recompute results; until we convince ourselves fully that the update formulae are correctly implemented (and no theoretical errors were made in the paper either...).

Follow-on issues as created to keep track of these 2 points.

[ppebay]

@lifflander I made some additional testing following our recent conversation, no problem found. Still awaiting your review when you get a chance.

[lifflander]

Overall, this looks great. I've walked through all the update formula and I think they are correct.