feat: add OpenVM v1.4.2. soundness parameters

[jonathanpwang]

I was not sure if I should commit the new report or if that will be done separately. I was able to generate it so I can commit the markdown if requested.

Explanations are provided in the TOML comments. For even more explicit clarification, the computations to compute num_columns, batch_size from the verifying key are detailed in openvm-org/stark-backend@8fc5f73

As explained in the comments, I observed that from the python code num_columns is being used as total_constraint_count for the DEEP-ALI soundness calculation, so that is what I reported for num_columns. If it is desired to instead report the actual number of columns (note we also have extension field columns for LogUp), I can update the TOML accordingly.