Use let* option monad syntax from GobOption.Syntax in LoopUnrolling

Use let* option monad syntax from GobOption.Syntax in LoopUnrolling #1786