Moving cactusplots around
Removing highcharts which is no longer needed
Adding faster propagation and making it default
Minimal code cleanup
Renaming "slow" propagation to "Bin clauses first" propagation

Makes a lot more sense