“Whether the Federal Circuit’s ‘heavy presumption’ line of cases or its ‘holistic’ line should govern claim construction.”