Your sort of right, the WordPress editor saves content thru a filter called the_content. This filter is used to filter the content of the post after it is retrieved from the database and before it is printed to the screen. Apply this filter to simulate TinyMCE formatting.
<?php echo apply_filters( 'the_content', $options['textarea_input']); ?>