[config] check transformations at config and/or proof time

Check existing transformation and no-parameters.