Removed incorrect special case for Rust bitwise operators

[zhassan-aws]

Description of changes:

RMC crashes in codegen for logic operators (And, Or, Xor) applied on bool types.

Resolved issues:

Resolves #394

Call-outs:

None.

Testing:

• How is this change tested?
  Added a new test in the commit: src/test/cbmc/BitwiseArithOperators/bool.rs

• Is this a refactor change?
  No.

Checklist

• [X ] Each commit message has a non-empty body, explaining why the change was made
• [X ] Methods or procedures are documented
• [X ] Regression or unit tests are included, or existing tests cover the modified code
• [X ] My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

[avanhatt]

Looks good! Reminder to @zhassan-aws to fill in the template on this page (doesn't need to have every section, just a description of what you changed and the issue #).

[zhassan-aws]

Looks good! Reminder to @zhassan-aws to fill in the template on this page (doesn't need to have every section, just a description of what you changed and the issue #).

Done.