Composition can now be disabled.
Save statistics about proof sizes.