Configured binary reductions

Public entry point for executable configured sum and dot operations and their refinement theorems, together with error bounds for user-selected trees of rounded additions. Execution-only consumers of exact accumulation may import Configured.Reduction.Runtime.