Fix: deterministic static costs

[brady-stacks]

The static cost returned for functions called with deterministic inputs was previously using the type size range of the function called, not the arguments received. This narrows the scope to get exact costs where possible

Example previously failing with inaccurate max cost (add-u1):

(define-data-var count uint u0)

(define-private (add (n uint))
  (begin
    (var-set count (+ (var-get count) n))
  )
)

(define-public (add-many-64 (ns (list 64 uint)))
  (begin
    (map add ns)
    (ok true)
  )
)

(define-public (add-u1)
  (add-many-64 (list u1))
)

[codecov]

Codecov Report

❌ Patch coverage is 96.06299% with 10 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
...arity-static-cost/src/static_cost/cost_analysis.rs	95.83%	10 Missing ⚠️

📢 Thoughts on this report? Let us know!