CMakeLists.txt: Replace the command option() by a set() with cached values
simpleworld: Make configurable at compilation time the maximum number of cycles executed by transaction