Missing satisfied assert in bbf test files

[Valeh2012]

Currently, some bbf components are tested using simple code snippet:

...
auto [at, A, desc] = B.assign(raw_input);
std::cout << "Is_satisfied = " << B.is_satisfied(at) << std::endl;

The missing assert(B.is_satisfied(at)) may let errors be unnoticed in github action logs.
Currently affected components:

• poseidon.cpp
• opcode_poc.cpp
• tester.cpp