[FOLD] Replace contract checks with assert
[FOLD] Reduce includes