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]

Codecov Report

All modified and coverable lines are covered by tests ✅

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

Additional details and impacted files

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

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.