♻️ Removal of boost dependency from synthesis and simulation part of library

[TooMuchDakka]

Description

This PR removes parts of the boost dependency from the synthesis and simulation part of the library

• The dynamic_bitset boost data structure was replaced with the custom data structure NBitValuesContainer offering only a reduced feature set (required for the functions of the simple_simulation interface ) of the dynamic_bitset (see boost reference interface).
• The adjacency_list and signal boost dependencies were removed due to no longer being needed in the refactored synthesis code.
• This PR does not remove the boost dependency from the CMake files due to parser still depending on boost::spirit and boost::fusion. This dependency is removed in ♻️ Replacement of boost::fusion and boost::spirit with ANTLR4 components for SyReC grammar and parser #220

Towards #27

Checklist:

• The pull request only contains commits that are related to it.
• I have added appropriate tests and documentation.
• I have made sure that all CI jobs on GitHub pass.
• The pull request introduces no new warnings and follows the project's style guidelines.

[codecov]

Codecov Report

Attention: Patch coverage is 82.69525% with 113 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/algorithms/synthesis/syrec_synthesis.cpp	83.0%	24 Missing and 34 partials ⚠️
...lgorithms/synthesis/syrec_line_aware_synthesis.cpp	82.4%	10 Missing and 14 partials ⚠️
include/core/circuit.hpp	71.7%	5 Missing and 17 partials ⚠️
include/core/n_bit_values_container.hpp	86.2%	1 Missing and 6 partials ⚠️
include/core/gate.hpp	85.7%	0 Missing and 1 partial ⚠️
src/algorithms/simulation/simple_simulation.cpp	87.5%	0 Missing and 1 partial ⚠️

📢 Thoughts on this report? Let us know!

[TooMuchDakka]

• Checking whether the refactoring of the synthesis and simulation code was functionally correct (after the code was reviewed) was tested by running the currently existing synthesis and simulation tests. However, the synthesis tests only compare the number of gates, quantum and transistor costs of the synthesized circuit against a given json config which could lead to false-negatives in either this or future refactorings.
• All gates generated during the synthesis of the statements of a syrec::Module will have an annotation denoting the line number of the associated statement. Assuming the following example:

1.  module decrement(inout a(4))
2.     --= a
3.
4.  module main(inout a(4), in b(4))
5.    if (a > b) then
6.      call decrement(a) // HERE
7.    else
8.      ++= a
9.   fi (a > b)

Call-/UncallStatements are synthesized by inlining the statements of the called module, here the decrement operation would be inlined in line 6. Currently the gates generated for the inlined statements will have the line number of the original statement annotated (e.g. line 2 for the inlined decrement operation) but one could also annotate the inline line number instead. However, when the called module contains more than a single statement, the inlined statement line number would now overlap with the line numbers of the statements following the call. One solution could be to annotate additional information to the inlined statement like the following:

Line number: 6
Inlined module: decrement
Relative line number in inlined module: 1

[burgholzer]

Many thanks for the contribution here! This is much appreciated.

I skimmed through all of the changes, and they look reasonable to me.
Considering the volume of testing, I believe we should merge this and address any issues as soon as we identify them.