Fixes for non-idempotent semirings in bruteforce and non-invertible monoids in movemaker

This are fixes for the two problems reported as issues (non-idempotent semirings in bruteforce and non-invertible monoids in movemaker).