Branch Split: switch to use the consistence checking procedure in the KSW algorithm; the previous implementation due to [Montes and Wibmer 2010] is obsolete