Fixed the out-of-bounds on LCP issue, but it looks like this branch isn't supposed to work anyway, since the original inchworm inexact needs to be replaced with Benedict's new algorithm, or the restart thing Yohei described.