Add BitCheck Process

[mgkwill]

Issue Number: #801

Objective of pull request: Add a BitCheck process. This short and simple ProcessModel can be used for quick checking of bit-accurate process runs as to whether bits will overflow when running on hardware.

Pull request checklist

Your PR fulfills the following requirements:

• [X] Issue created that explains the change and why it's needed
• [X] Tests are part of the PR (for bug fixes / features)
• [ ] Docs reviewed and added / updated if needed (for bug fixes / features)
• [X] PR conforms to Coding Conventions
• [X] PR applys BSD 3-clause or LGPL2.1+ Licenses to all code files
• [X] Lint (flakeheaven lint src/lava tests/) and (bandit -r src/lava/.) pass locally
• [X] Build tests (pytest) passes locally

Pull request type

Please check your PR type: - [X] Feature ## What is the current behavior?

• Currently there is not a standard way to check if process vars overflow particular bit limitations during bit-accurate runs meant to simulate hardware.

What is the new behavior?

• BitCheck process is added that gives a standard way to check if process vars overflow particular bit limitations during bit-accurate runs meant to simulate hardware.

Does this introduce a breaking change?

• [ ] Yes
• [X] No

Supplemental information

During Loihi verification against Lava bit-accurate simulation we found that it was useful to have an overflow checker. This PR and feature request is the result of that realization.

Suggestions and design ideas happily accepted.

[mgkwill]

Looks great Marcus. Feel free to incorporate the dynamic shape identification during connect_var that we discussed.

Thanks @bamsumit will make that change.

[mgkwill]

Looks great Marcus. Feel free to incorporate the dynamic shape identification during connect_var that we discussed.

Hi @bamsumit - I've refactored to set shape using connect_var. Let me know if what I've done works, or you have any other thoughts?

[bamsumit]

Looks great Marcus. Feel free to incorporate the dynamic shape identification during connect_var that we discussed.

Hi @bamsumit - I've refactored to set shape using connect_var. Let me know if what I've done works, or you have any other thoughts?

@mgkwill That is perfect :)

[mgkwill]

Thanks @PhilippPlank and @bamsumit for the feedback!

Fixed all issues.