Amortize serialization size bloat

[Nashtare]

In a bunch of cases, we could reduce the serialization overhead by storing smaller primitive types than usize as the underlying values have to be small (~u8).

Additionally, there may be some improvement room for ProverCircuitData related serialization, as it was done fairly hastily.