Toward Better Formula Lower Bounds: An Information Complexity Approach to the KRW Composition Conjecture