Improved tests for generate and fibonacci assignments

[Archer6621]

• For generate/2, there should also be a test that checks whether garbage is returned (e.g., by comparing the the size of the set of all solutions with the set of all expected solutions)
• For fib1/2 and fib2/2, an additional test could be made to check if the rules actually stop searching after finding the solution.