Verifies whether or not a third string is a merge of two other strings using dynamic programming