fix testsuite / markovfunctional

A few test cases break with the new sanity check in KahaleSmileSection that was recently introduced. This is fixed here. I also fixed the source code formatting at some places.