Add CBMC proof for MQTT_GetSubAckStatusCodes

[aggarw13]

• Add CBMC proof for the MQTT_GetSubAckStatusCodes API function
• Update MQTT_GetSubAckStatusCodes API signature and its tests for issue found with the CBMC proof

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

[codecov-commenter]

Codecov Report

Merging #1132 into development will increase coverage by 2.30%.
The diff coverage is 100.00%.

@@               Coverage Diff               @@
##           development    #1132      +/-   ##
===============================================
+ Coverage        96.54%   98.85%   +2.30%     
===============================================
  Files                9        4       -5     
  Lines             5643     1309    -4334     
  Branches           641      393     -248     
===============================================
- Hits              5448     1294    -4154     
+ Misses               9        0       -9     
+ Partials           186       15     -171     

Impacted Files	Coverage Δ
libraries/standard/mqtt/src/mqtt.c	99.48% <ø> (+5.06%)	⬆️
libraries/standard/mqtt/src/mqtt_lightweight.c	97.42% <ø> (+2.90%)	⬆️
libraries/standard/mqtt/src/mqtt_state.c	98.46% <ø> (+2.52%)	⬆️
libraries/standard/http/src/http_client.c	100.00% <100.00%> (+12.51%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 264b483...38d0c36. Read the comment docs.