Add symbolic build to Makefile
check: Build with SYMBOLIC
Add/test optimization: (rra imm imm) -> imm.
Symbolic: Adding (symbolic) input length limit