Implement KF smoothing as backward filtering
The current KF smoothing is done based on smoothing formalism. Another option is to run KF filtering in backward direction as smoothing. The latter approach is supposed to be more stable (though more expensive) and will be useful for validation purpose.