Add CI profile for smaller binary sizes and use it in GitHub Actions

[Robbepop]

Summary: This solution did not turn out to be very effective. A much better solution is to somehow clean the target directory of any "garbage" that accumulates over time. The cargo-sweep tool has been investigated for this purpose but was not found to uphold the quality standards necessary for me to want to use it.

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 81.56%. Comparing base (1f8ff6d) to head (994f061).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #1292 +/- ## ======================================= Coverage 81.56% 81.56% ======================================= Files 306 306 Lines 25274 25274 ======================================= Hits 20616 20616 Misses 4658 4658 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.