Refactor babelsberg-js to better support our solver selection approach

[j4yk]

Sometimes we have to patch methods which we would rather not like to touch, but we have to because of the current architecture.

Split some methods to avoid frequent if/else branches to determine if we are solving+propagating or only solving (for the selection).

Keep in mind the benchmarks.