Parametrizing the test case
Implementing normalization for the computation of Forward and Backward variables to fix underflows on long sequences. Implementing logarithmic Viterbi scoring to fix underflow.