Add more consistency between tests produced from Fuzzed and Symbolic executions based on UtSummarySettings

[amandelpie]

Description

At this moment, some settings from UtSummarySettings are not applied for the Summaries generated for the

Expected behavior

We should the same behavior for the all used settings set up to the true/false for both types of executions, Fuzzed and Symbolic