finish debugging jump aligner and add tests to lock down expected behavior