Add unit test for make_symbolic_state()
Use scalar num_examples instead of symbolic one for T.alloc
Fix typo in Softmax's make_symbolic_state method