Project fails on test cases

[samithkavishke]

Some of the test cases that are implemented in repo uses a deadline annotation and currently, few of them are failing. Following is an example for that, FAILED tests/test_utils.py::TestSolveLinearDiop::test_completeness - hypothesis.errors.DeadlineExceeded: Test took 719.00ms, which exceeds the deadline of 400.00ms . Is this the way to check the performance of the project, we cannot rely on the end users PC speed to pass any test. And, we need to add Github workflow to check whether test cases are passing we can automate that easily.