fix comment

There's no 'B3' in the example.
remove pointless assert

The if above it ensures the property anyway.
remove unused argument from LiveRanges::join()
avoid unnecessary direct access to LiveInterval::ranges