Fix dependencies bounded integers

[W95Psp]

This PR:

• fixes a bug regarding the use of hax_bounded_integers::refinement_int (macro_rules rely on dependencies which were then not available at callsite)
• add support for negation

[github-actions]

This PR has been marked as stale due to a lack of activity for 60 days. If you believe this pull request is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

[github-actions]

This PR has been closed due to a lack of activity since being marked as stale. If you believe this pull request is still relevant, please reopen it with an update or comment.

[W95Psp]

I think we should have merged this one.

[franziskuskiefer]

Do we actually use bounded integers now? I thought it didn't hit the mark. If we do, let's get it in. If not, let's talk about what to do with this.

[karthikbhargavan]

Let's meet to discuss bounded integers in general. We may want to revert some of this.

[franziskuskiefer]

@W95Psp lets get it fixed and merged

[W95Psp]

I fixed the PR, we should be able to merge it now

[franziskuskiefer]

@W95Psp resolve the conflict, @karthikbhargavan please review, then lets merge

[W95Psp]

the conflict was trivial, @karthikbhargavan you can review

[franziskuskiefer]

@W95Psp @karthikbhargavan what's the state of this?

[W95Psp]

This PR was ready, but now conflicts. I can handle the conflicts