revamp configuration parameter names for fixedpoint

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
align lengths of weights and soft constraints

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>